point supremum

[数] 点式上确界